http://identifiers.org/mgd/MGI:3774541 Tph2<tm1Mca> Tph2-KI targeted mutation 1, Marc G Caron MGI:3774541 R439H Tph2 Humanized sequence